Elarva: A Monitoring Tool for Erlang

A Monitoring and Instrumentation Tool developed in Erlang

E: A Monitoring tool for Erlang

The L monitoring tool has been successfully applied to a number of industrial Java systems, providing extra assurance of behaviour correctness. Given the increased interest in concurrent programming, we propose E, an adaptation of L for monitoring programs written in Erlang, an established industry-strength concurrent language. Object-oriented L constructs have been translated ...

A Monitoring Tool for a Branching-Time Logic

We present the implementation of an experimental tool that automatically synthesises monitors from specifications written in mHML, a monitorable subset of the branching-time logic μHML. The synthesis algorithm is compositional wrt. the structure of the formula and follows closely a synthesis procedure that has been shown to be correct. We discuss how this compositionality facilitates a translat...

Compiling Erlang via C

This paper discusses the implementation of an Er-lang compiler which provides native compilation using C as an intermediate language. The intermediate output, while not elegant, is amenable to being ported away from the Erlang environment and into morètraditional' C based development environments. The compiler also provides a number of special features. These features include support for a conc...

A Performance Analyzer for a Parallel Real-Time Functional Language

We describe PEPA, the first general on-line performance monitoring tool for Erlang. Erlang is a new non-lazy functional programming language with explicit concurrency. It has #been designed especially for building fault tolerant industrial applications that have soft real-time requirements. It has already been used to build substantial software products in the telecommunications area. PEPA give...